22 ideas
| 5784 | In its primary and formal sense, 'true' applies to propositions, not beliefs [Russell] |
| 5777 | The truth or falsehood of a belief depends upon a fact to which the belief 'refers' [Russell] |
| 5783 | Propositions of existence, generalities, disjunctions and hypotheticals make correspondence tricky [Russell] |
| 13030 | Extensionality: ∀x ∀y (∀z (z ∈ x ↔ z ∈ y) → x = y) [Kunen] |
| 13032 | Pairing: ∀x ∀y ∃z (x ∈ z ∧ y ∈ z) [Kunen] |
| 13033 | Union: ∀F ∃A ∀Y ∀x (x ∈ Y ∧ Y ∈ F → x ∈ A) [Kunen] |
| 13037 | Infinity: ∃x (0 ∈ x ∧ ∀y ∈ x (S(y) ∈ x) [Kunen] |
| 13038 | Power Set: ∀x ∃y ∀z(z ⊂ x → z ∈ y) [Kunen] |
| 13034 | Replacement: ∀x∈A ∃!y φ(x,y) → ∃Y ∀X∈A ∃y∈Y φ(x,y) [Kunen] |
| 13039 | Foundation:∀x(∃y(y∈x) → ∃y(y∈x ∧ ¬∃z(z∈x ∧ z∈y))) [Kunen] |
| 13036 | Choice: ∀A ∃R (R well-orders A) [Kunen] |
| 13029 | Set Existence: ∃x (x = x) [Kunen] |
| 13031 | Comprehension: ∃y ∀x (x ∈ y ↔ x ∈ z ∧ φ) [Kunen] |
| 13040 | Constructibility: V = L (all sets are constructible) [Kunen] |
| 579 | Cratylus said you couldn't even step into the same river once [Cratylus, by Aristotle] |
| 5780 | The three questions about belief are its contents, its success, and its character [Russell] |
| 578 | Cratylus decided speech was hopeless, and his only expression was the movement of a finger [Cratylus, by Aristotle] |
| 5778 | If we object to all data which is 'introspective' we will cease to believe in toothaches [Russell] |
| 5779 | There are distinct sets of psychological and physical causal laws [Russell] |
| 5781 | Our important beliefs all, if put into words, take the form of propositions [Russell] |
| 5782 | A proposition expressed in words is a 'word-proposition', and one of images an 'image-proposition' [Russell] |
| 5776 | A proposition is what we believe when we believe truly or falsely [Russell] |